cr-antecedent{i:l}(es;Config;Cmd;Sys;u)(e)
== if csinput?(Sys(e)) then e if (u(e))  Config then prior(Sys(valid))(u(e)) else u(e) fi  

latex

---

clarification:

cr-antecedent{i:l}(es; Config; Cmd; Sys; u)(e)
== if csinput?(Sys(e))
== ifthen e
== if (u(e))  Config
== ifthen es-prior-interface{i:l}
== ifthen es-prior-interface(es; sys-valid{i:l}(es; Config; Cmd; Sys))(u(e))
== else u(e)
== fi  

latex

Definitions	x.A(x), csinput?(x), if b then t else f fi , e  X, X(e), prior(X), Sys(valid), f(a)
FDL editor aliases	cr-antecedent